
(check (let ((x 1)
             (y 2))
         (= (+ x y) 3)))

